Tag: how to rename a branch in git